1. Hardware and Software: Verification and Testing
پدیدآورنده : / Nir Piterman
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
2. Hardware and software
پدیدآورنده : \ Nir Piterman (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer networks,Software engineering,کامپیوتر,شبکه‌های کامپیوتری,نرم‌افزار, -- مهندسی,a04,a06,a03,a04,a06,a03
رده :
QA
76
.
I58
H32
2015
E-Book
,
3. Tools and Algorithms for the Construction and Analysis of Systems
پدیدآورنده : / Nir Piterman, Scott A. Smolka
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4. Tools and algorithms for the construction and analysis of systems
پدیدآورنده : Nir Piterman, Scott A. Smolka (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses,System analysis, Congresses,System design, Congresses
رده :
QA76
.
9
.
S88
T33
2013
